821. Perspectives of Systems Informatics

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering

822. Petri Nets :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer Communication Networks.,Computer science.,Logic design.

رده :
QA267
.
B996
1985

823. Philosophical Logic and Artificial Intelligence

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic.,Philosophy (General)

رده :
BC71
.
E358
1989

824. Philosophical and mathematical logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.

رده :
BC131

825. Philosophy and Cognitive Science:

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Genetic epistemology.,Logic.

رده :
B808
.
9
E358
1996

826. Physics with MAPLE :the computer algebra resource for mathematical

پدیدآورنده:

کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)

موضوع: ، Operating systems )Computers(,، MINIX,، Mathematical physics Data processing,، Algebraic logic Data processing,، Maple )Computer file(

رده :
QA
76
.
76O63
T36
2006

827. Practical Applications of Computational Intelligence Techniques

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

828. Principles and Practice of Constraint Programming

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری

رده :
QA
76
.
612
.
C7P7
2015
E-Book
,

829. Principles and Practice of Constraint Programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

830. Principles and Practice of Constraint Programming -- CP '95 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Information storage and retrieval systems.,Logic design.

831. Principles and structures of FPGAs /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Field programmable gate arrays.,Circuits & components.,Computer architecture & logic design.,Electronics engineering.,Field programmable gate arrays.,TECHNOLOGY & ENGINEERING-- Mechanical.

رده :
TK7895
.
G36
P75
2018

832. Principles of digital design

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: Design Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design

رده :
TK
7874
.
G34

833. Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs

رده :
QA
75
.
5
.
S9574a

834. Proceedings, Seventh International Conference: IPMU: information processing and management of uncertainty in knowledge-based systems: July 6-10, 1998 = Actes, Septieme Conference internationale: traitement d'information et gestion d'incertitudes dans les systemes a base de connaissances: 6-10 juillet 1998: la Sorbonne, Paris

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Uncertainty )Information theory(,Congresses ، Fuzzy logic

رده :
QA
76
.
76
.
E95
I575
1998

835. Proceedings ... Symposium on Computer Arithmetic

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Computer arithmetic,Congresses ، Computer programming,Congresses ، Floating-point arithmetic,Congresses ، Computer arithmetic and logic units

رده :
QA
76
.
9
.
C62
.
S95a

836. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses

رده :
QA
76
.
9
.
M35
S94
1994

837. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems

رده :
QA
76
.
87
.
I3434a

838. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
S94
2004

839. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
75
.
5
.
I38
2000

840. Process Algebra for Parallel and Distributed Processing

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science